A programming language for composable DNA circuits
نویسندگان
چکیده
منابع مشابه
A programming language for composable DNA circuits.
Recently, a range of information-processing circuits have been implemented in DNA by using strand displacement as their main computational mechanism. Examples include digital logic circuits and catalytic signal amplification circuits that function as efficient molecular detectors. As new paradigms for DNA computation emerge, the development of corresponding languages and tools for these paradig...
متن کاملSyReC: A Programming Language for Synthesis of Reversible Circuits
Reversible logic serves as a basis for emerging technologies like quantum computing and additionally has applications in low-power design. In particular, since traditional technologies like CMOS are going to reach their limits in the near future, reversible logic has been established as a promising alternative. Thus, in the last years this area started to become intensely studied by researchers...
متن کاملA Composable Language for Action Models
Action models are semantic structures similar to Kripke models that represent a change in knowledge in an epistemic setting. Whereas the language of action model logic [8,7] embeds the semantic structure of an action model directly within the language, this paper introduces a language that represents action models using syntactic operators inspired by relational actions [11,12,13]. This languag...
متن کاملA Description Language For Composable Components
In this paper we present CCDL, our description language for composable components. We have introduced hierarchically composable components as means to achieve finetuned customization of component based systems. A composable component is defined by a fixed contractual specification of its external view and a set of structural constraints for its internal configuration. The internal configuration...
متن کاملSelf-composable Programming
Increasing scale and complexity of modern software, we have found programming problem with techniques like Aspect-oriented Programming(AOP) while constructing features of the software. We capture its key property as behavioral similarity, a set of tangled and scattered low-level behavior in similar patterns of invocation across the high-level behaviors features in software. In this paper, we pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of The Royal Society Interface
سال: 2009
ISSN: 1742-5689,1742-5662
DOI: 10.1098/rsif.2009.0072.focus